Software Artifact for the OOPSLA'21 Paper Titled "Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations"

Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations This artifact contains an implementation of the dynaplex algorithm and benchmark programs, as described in the paper: *Dynaplex: Analyzing Program Complexity using Dynamically Inferred Recurrence Relations*. The development and experiment environment is provided as a single Docker image at `unsatx/dynaplex:oopsla21`. In addition to the image a `Dockerfile` as well as a zip containing the github repository are also provided as alternative source of the artifact. We recommend using the provided Docker image as it is self-contained with all the dependencies installed. A guide to set up and use this artifact from the docker image is provided in file `dynaplex.pdf`